From 47b7bfd2ba5e5cd4ca2873021c2fdc5ce148812d Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Wed, 17 Jan 2018 20:19:19 -0500 Subject: [PATCH] Use the new api to release resources When we unrealize a GL area with outstanding textures, call gdk_texture_release_gl on them to avoid later crashes. --- gtk/gtkglarea.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gtk/gtkglarea.c b/gtk/gtkglarea.c index f6254cf8a4..d7e727b233 100644 --- a/gtk/gtkglarea.c +++ b/gtk/gtkglarea.c @@ -385,11 +385,15 @@ delete_one_texture (gpointer data) { Texture *texture = data; + if (texture->holder) + gdk_texture_release_gl (texture->holder); + if (texture->id != 0) { glDeleteTextures (1, &texture->id); texture->id = 0; } + g_free (texture); } -- 2.30.2